As asserções não se importam se o seu código está livre de bugs. Eles se importam se o resultado violar as invariantes do protocolo. Simples como.
193