proof in progress