Plus: What does Simon think of Isabelle?