actually finish that proof