Definition of "punishes"