English: If there is a no actions a 1 and a 2 in the presiding layer such that P 1 belongs to effects a P 2 belongs to of a with 2 and, in other words if we can find 2 actions a 1 and a 2 which are not Mutex and a 1 is producing P 1 and a 2 producing P 2.
Telugu: ప్రిసైడింగ్ లేయర్‌లో(presiding layer) a1 మరియు a2 చర్యలు లేనట్లయితే, P1 ప్రభావాలకు చెందినది, P2 అనేది రెండుతో కూడినది మరియు మరో మాటలో చెప్పాలంటే, మనం రెండు చర్యలను కనుగొనగలిగితే a1 మరియు a2 మ్యూటెక్స్ మరియు a1 P1ని మరియు a2 P2ని ఉత్పత్తి చేస్తుంది.