Clean up insert complexity proof.