Definition of three laws