added proof of escape criterion