There are two kinds of pleasure: one consisting in a state of rest, in which both body and mind are undisturbed by any kind of pain; the other arising from an agreeable agitation of the senses, producing a correspondent emotion in the soul. It is upon the former of these that the enjoyment of life chiefly depends. Happiness may therefore be said to consist in bodily ease, and mental tranquility.