In the same way, we can prove that the system consisting of the rules, the basic axioms, and any combination of the axioms listed below is sound and complete for models meeting the corresponding combination of conditions.