https://123dok.org/document/lzg1ml7z-note-hieronymi-theorem-definably-complete-structure-definably-baire.html