Houshalter comments on Rationality Power Tools