Results: isabelle ice