Removing optional statements and writing laws.