Push DR9 down in the list of things to try. This makes the proof search faster for the akrasia case and the false belief case.