(EQUIV)
(EQUIV-IS-AN-EQUIVALENCE)
(FOO)
(PRED)
(GOO)
(HOO)
(PRED-HOO)
(GOO-TO-HOO)
(EQUIV-IMPLIES-IFF-PRED-1)
(PRED-IMPLIES-FOO)
(FOO-OF-GOO-EQUIV-ENABLED)
(FOO-OF-GOO)
(FOO-OF-GOO-AGAIN)
(PRED-IMPLIES-FOO-AGAIN)
(FOO-OF-GOO-YET-AGAIN)
(PRED-IMPLIES-FOO-AGAIN-WITH-WARNING)
