progress on N>0-step capturability. Problem is currently infeasible though.