An error in the definitions used to check The Three Laws of Robotics