结果 : isabelle