-Q formal Formal
formal/Sums.v
formal/Polity.v
formal/UniversalProperty.v
formal/OpinionTransport.v
formal/Coalitions.v
formal/Transmission.v
formal/Theorems.v
