See Heads of Terms.