half-finished proof is in