Title: Isabelle Unraveled I-II