2.4.20: CHECKMATE! [DS] falling apart. Q proofs important.