Seu module tem três camadas. Você provavelmente só escreveu uma.
As Box Structures obrigam você a definir o que um module faz, o que ele lembra e como funciona como três camadas separadas e verificáveis. Veja como o Cleanroom as usa para eliminar o debugging.
