Higher page. Generate terms from formulae containing n², e.g. n² + 3n − 1, substituting with the position squared first; verify a claimed term, find a stated term, and test membership by solving. Deriving the formula is the sibling page; simultaneous-equation derivations are optional stretch. (A25)