User blog comment:Plain'N'Simple/A question for proof-theory experts/@comment-39259101-20191029180948/@comment-39541634-20191030070424

No.