Models are predictions mapping a fact to an unrealized fact where the current fact constitute the premises and the unrealized fact the conclusion of an inductive argument.