Also check all Equal laws.