Bostrom is very good at theorycrafting.