Version with working RREF after reversion