Fun theory like a bonus - set with bets? — LessWrong