new understanding of mutual exclusion