CI 1905 Formalized Curiosity