眺めてみたり、ソースコードを紐解いてみることをオススメします。モジュールには、性質を書く上で便利な関数や演算子が定義されています。両辺がともに成り立つ場合に全体として性質が成り立ちます。両辺のいずれかが成り立つ場合に全体として性質が成り立ちます。付けることができます。演算子は、左辺の性質が成り立つ場合にのみ、右辺の性質を確認します。長さが6より大きいか確認します。包んだ値でなければなりません。正格評価を主とする言語であることに伴う制約です。右辺の性質を評価した場合に例外が発生するようなケースでは、演算子に両辺の性質を渡すタイミングで例外が発生し、失敗扱いとなってしまうからです。関数は、性質に名前を付けられる点ではラベル演算子のようですが、さらに任意の条件で分類することができます。zeroここから、テストに失敗した時の引数の分布が分かります...と言っても、失敗しなければ表示されないなど、使いドコロが難しいですが。実践的な書き方を見ていきました。同等(と言って差し支えない、はず)の使いやすさがあります。現在もどんどん改良が進んでいます。