Note the "closing over" convention