Na verificação do cumprimento dos ónus de alegação previstos no artigo 640 do CPC, os aspectos de ordem formal devem ser modelados em função dos princípios da proporcionalidade e da razoabilidade, dando-se prevalência à dimensão substancial sobre a estritamente formal.