Esto supone una parte importante del método de diseño por contrato.