my fun research project has more existential risk than I anticipated

Edit History (Oldest to Newest)

Version: 1
Fields Changed	(Original)
Updated	Mar 01, 2022 12:10 AM
Content	Keltham lawful chaotic Iarwain ...eventually he writes out the formula: let PrudentBot(X) = if Provable("X(PrudentBot) == Cooperate") then if Provable-1("X(DefectBot) == Defect") then Cooperate else Defect else Defect ...and lets everyone go to lunch.
Version: 2
Fields Changed	Content
Updated	Mar 01, 2022 12:11 AM
Content	Keltham lawful chaotic Iarwain Eventually he writes out the formula... let PrudentBot(X) = if Provable("X(PrudentBot) == Cooperate") then if Provable-1("X(DefectBot) == Defect") then Cooperate else Defect else Defect ...and lets everyone go to lunch, a minute or two dozen late.
Version: 3
Fields Changed	Content
Updated	Mar 01, 2022 12:24 AM
Content	Keltham lawful chaotic Iarwain Eventually he writes out the formula... let PrudentBot(X) = if Provable("X(PrudentBot) == Cooperate") then if Provable-1("X(DefectBot) == Defect") then Cooperate else Defect else Defect ...and lets everyone go to lunch, a minute or two dozen late.