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