a somewhat more accessible version of bostrom's argument