“A long descriptive name is better than a short enigmatic name. A long descriptive name is better than a long descriptive comment.”