Optional decomposition and Lagrange multipliers · Study