procedural requirement