不変量は強力です。 アサーションはより強力です。