ENH add an illustration of theorem 1 from the paper and overall algorithm