If all the year were playing holidays, to sport would be as tedious as to work