Definition 1:

*#NewOrganon*is a*model**of Truth,**T*= <D, I>, in which every well-formed formula on this page is a member of D, as well as every well-formed formula Referenced by any member of D, and I is the*interpretation function**which is given by the members of D.*
Definition 2:

*#PrometheusProject*is a model of hepatogenesis, H = <D, I>, where D = every well-formed formula Referenced by “https://independent.academia.edu/OchoaMichael/Inductive-Science" and I is the*interpretation function**which is given by the members of D. **
Theorem 1: Michael Ochoa is the author of

*#PrometheusProject*.
Proof: By inspection of “https://independent.academia.edu/OchoaMichael/" we can see that

*#PrometheusProject**is a**submodel*of*#NewOrganon**,*or H ⊆ T.
Michael Ochoa is undeniable the author of

*#NewOrganon*.
Therefore, Michael Ochoa is the author of

*#PrometheusProject*.*Q.E.D.*