Check laws for Orderable