Prove by contradiction that ME2 is satisfied by the mutual exclusion algorithm given by Ricart and Agrawala (1981)
a) Mutual exclusion is not satisfied
b) Mutual exclusion is satisfied
c) There is no contradiction
d) Not enough information to determine