plug and chug

1. REDIRECT Proof theory

{{r from alternative name}}