Spell out arguments explicitly