Ultrafilter extensions of bounded graphs are elementary - Zalán Molnár (2024)