Symphony For Isabelle (Part 2)