Title: Indignities of Isabelle