https://exunoplura.com/2012/02/16/bostrom-and-computational-irreducibility/