नमूना: Isabelle / पृष्ठ 4