Add non-blocking proof