User blog comment:Plain'N'Simple/A question for proof-theory experts/@comment-35392788-20191029194318/@comment-35392788-20191029214951

Probably.