more procedural tests