[…] condition (119) on checking domain [...] (119) α adjoined to nonminimal K is not in the checking domain of H(K).- Chomsky (1995), a pag.319