Title: On local proof restrictions for strong theories
Subjects: Proof theory