implyR(1) ; QE