Text this: Techniques of Variational Analysis