Porn: proofs time