User blog comment:Plain'N'Simple/A question for proof-theory experts/@comment-37224188-20191030010502/@comment-39541634-20191103105807

Thanks for the tip :-)