Definition of "enforces"