term0 occurs in this doc.