Hot: proofisinthepunishment