decomposing some test procedures