Dr_Manhattan comments on Help! Name suggestions needed for Rationality-Inst!