"The Atom Condition (AC)": A restriction on the attachment of afx to Y can only refer to features realized on Y.- Williams (2004), a pag.213