Jack/Brian: Initial implementation of Fact.