world). time=0.0004601478576660156. 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. ]]>