witness function

Find witness point