A cannot appear as a descendant of