The Best 0 Isabelle Alternatives