procedural expansion