Title: Isabelle Unraveled I