Las afirmaciones no se preocupan si tu código está libre de errores. Se preocupan si el resultado viola los invariantes del protocolo. Tan simple como eso.
161