soul-machine problem (SP)