The Birth of Proof: Modality and Deductive Reasoning -- Indiscrete Models: Model