Thermodynamic Modeling of the H2O–Na+, K+ || HPO42–, PO43– System | Synapse