"CRAWE: Isabelle!"