I wonder why the comment by aaronyi is dead. It's a reasonable, probably informative comment. Is it AI?