Does an X in cost after an (X) mana need specification?