contractsのこと言ってるのなら単なるassertの別記法ではないぞい