Language proof and logic See original record