procedural assemblies