Title: Isabelle and the Telescope