JohnDavidBustard comments on Rationality Power Tools