The Modal Triplet Theory Program B5: Saturated and Unified Encodings | Synapse