Plumbing for previous syntax and terms.