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

[Larks]

Then they could use old “SIAI” headed notepaper to refer to the union of SI and AI!