or A Floppy Disk Brain in a Photocopy Vat
Theorem UPMC Medical Records ⊆ #NewOrganon
Proof We can see that “#UPMCrecycles” ⊆ #NewOrganon by inspection.
We can see that #UPMCrecycles > UPMC Medical Records by following the links.
So, UPMC Medical Records ⊆ #UPMCrecycles by Definition 1. ⊆ is transitive.
Therefore, UPMC Medical Records ⊆ #NewOrganon
