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

;; TODO