proof_imagination