Sem embargo da afirmação já feita de que a verificação do incumprimento decorre da oposição solene manifestada pela R. no processo de inventário para partilha dos bens comuns, do que não se duvida é que a constituição em mora para efeitos de declaração da execução específica sempre seria efeito necessário da citação da mesma R. para a presente ação, nos termos do art. 805, n 1, do A defesa que a R. veio apresentar e em que continua a apostar reforça a ideia da sua recusa de cumprimento que justifica a invocação, por parte do A., do direito potestativo visando obter do tribunal a execução específica do contrato, mediante a substituição da declaração negocial da ora R.