Supplementary to Nonlinear System Theory Class