Definition of "enforcest"