FORMULATING LAWS