Logical studies of Flat Earth theory?