Os invariantes são poderosos. As afirmações são mais poderosas.