A1: Algebraic notation, substitution, and vocabulary