About rmforall