danieldewey comments on World-models containing self-models