Consider the following two processes P[i] and P[i]. Initially, flagli flag ] false Do Do flag[i] true; While(flag[j]); flag[jl-true; While(flagi: critical section critical section flag[i] - false; remainder section while(1); flag[j] - false; remainder section while(1); a) Does the above program satisfy the "progress" requirement? Justify your answer with an informal proof or counterexample. [Simple "Yes" or "No" without explanation] Is mutual exclusion assured? Justify your answer with an informal proof or counterexample