PFUSRC-00: Supplementary Proofs for the Biconical Ontology | Synapse