Gondor: Goedel on Andorra