Tag: isabelle (aries petal) (3) results