Countable graphs are majority 3-choosable - John Haslegrave (Discussiones Mathematicae Graph Theory, 2023)