Telegraph Model Isabelle