The difficulty can hardly be evaded by arguing that although could not exist without, being a pain is merely a contingent property of, and that therefore the presence of without pain does not imply the presence Qf without.