Isabelle is expensive