Goenawan, S. I. Order Theory I and II As Foundations for Finding Relationship Between Formulas. EMACS Journal 2020, 2, 1-4.