DH + LR (up to JFA Case 2)