moved dynamic oracle to after the non-monotonic