A fact that nobody needed