improved proofs in REM2