Lance Fortnow - Betting Boolean Style