continue finding a proof