A "Fundamental Theorem" of Biomedical Informatics | Synapse