This is a special post for quick takes by nostalgebraist. Only they can create top-level comments. Comments here also appear on the Quick Takes page and All Posts page.