49These rules may be improved in the next version of REDUCE.