Bodily exercise, when compulsory, does no harm to the body