Title: Logics of discovery