[UPDATE] Finished more about the real world usage of nonlinear constraints