more symbolic names