Los invariantes son poderosos. Las afirmaciones son más poderosas.