made sure the first 3 tests work for mutex