Comment by gregjor

Ban all religions except for lambda calculus. The first goal must be to make every human being a rational actor all the time. We start by watching Star Trek.