[math-fun] variants of the Kotani ant problem