better names in Semafor.java