Paraphrasing Formal Tool