Some constructions for proof-based cooperation without Löb — AI Alignment Forum