Propogate optimality as a constraint