Acresce que, conforme já salientamos estamos perante um negócio formal, pelo que a petição não pode ser corrigida por forma a que seja, eventualmente, alegado, que essa clausula resolutiva se encontra imperfeitamente expressa no teor da escritura.