If Runner accesses Theorem Proof, he or she does not score it, but instead may install it as a 2 MU program that has the ability "(A): Score Theorem Proof" but is removed from the game if it leaves play in any other way.

"You could write the whole thing on the margin of a screamsheet. It's the AI module I'm using to verify it that's hogging all the MU!"

• Number: 29-52
• Rarity: Rare
• Type: Agenda
• Player: Corporation
• Keywords: Research
• Agenda/Difficulty: 3/5