(fact-display m)
displays a fact
(fact-display-info m)
invokes a fact object
(fact? obj)
checks if object is a fact