world). time=0.0008034706115722656. passed=passed=info(why_was_true(user:(dmiles==>world))) no_proof_for((dmiles==>world)). no_proof_for((dmiles==>world)). no_proof_for((dmiles==>world)). result=passed. ]]>