Now compute mutual exclusion!