accounts who understand the yoneda lemma must now put よ into their display name, not just their bio
a Schelling point for those who seek one