added draft for proof of correctnes for pogo algorithm