optimization: Reword heading for conditions
optimize: Add clarifications for KKT