A Formal description of our method