Law Rewrite Functional pt. 1