Who's they? Both annotations seem ugly. And ugliness is hardly a reason to litter everyone's code with a parallel set of names.

What is the ugliness you're talking about? They're clear and explicitly named so I'm not sure what you could change that would make things better