ProofWiki:Sandbox/Template