Eager dereliction on a par of two qm formulas