[ new ] from the enriched calculus to the original one

First steps towards a proof of completeness of the search procedure.