outputproof
