TrustEquilibriumFrameworkFormalConditionalModelᵥ0. 2 | Synapse