Formalization Systems I: Model — A Non-Modal Fixation | Synapse