Schematic proof infrastructure