What do you think about typesetting all four of the vars here, for consistency?