Drop DEFINITION-P.