No More Learning

He says that an M world is           if it is logically compatible with the natural laws that govern our real natural world M.