rm condition head
rm mutex head