stationary phase subgroup of phase, 2 assertions