Invariantes são poderosos. Aserções são mais poderosas.