Title: Weep for Isabelle