test case P,Q