RREF demonstration