User not dominated by definition after mode_b lowering.