नमूना: Isabelle / पेज 4