نموذج: Isabelle / صفحة 2