functional MPC, local conditions