Added information about KKT, optimization, and math.