Found:

ECP

See: Empty category principle