描画モデルは、描画エージェント（一人、ペインター、画師、絵師）、キャンバス（入れ子可能）、パレット（複数可能）からなる。 唯一のカレントキャンバスを持つ。 唯一のカレントフォーカスポイントを持つ。それは、カレントキャンバス上の点。 カレントフ…

型・関数 命題・導出 0-射 型 0-射 命題 0-オペレータ 積 0-オペレータ 連言 0-オペレータ 指数 0-オペレータ 含意 0-射 指数型 0-射 含意命題 1-射 関数 1-射 導出 1-射 データ 1-射 保証〈ワランティー〉 1-射 入射〈余射影〉 1-射 証拠 1-射 射影〈成分〉…