16,] thinks that the removal or lessening of a pain is considered and operates as a pleasure, and the loss or diminishing of pleasure as a pain.

It is this opinion which we consider here..