Computer program machine general motors simulator three laws of related domains (1)