Use Equal syntax in laws