Laws and Definitions