01Mythos is good but not infallible A note on a mistake in Proposition 7.1 of Mythos’s Erdős unit-distance writeup.