Tag me correctly !
There is a sequence of execution, which leads to BOTH P1 and P2 terminates.
There is a sequence of execution, which leads to P1 terminates but not P2 terminates.
There is NO sequence of execution possible, which leads to P1 not terminates but P2 terminates.
Given answer is right !