Email Record: Logical foundations of proof complexity /