Isabelle: A Friend to Everyone