Formal Assemblies