No one’s following leiainfinity yet