added specs for mutex