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