;; Test Implication Direct Introduction Equal Rule
!(import! &self metta:common:formula:ImplicationDirectIntroductionEqual.metta)

;; TODO