A proof that both excellence and badness are concerned with the pleasant and the painful is that punishment being cure and operating through opposites, as the cure does in everything else, acts through these.