proof "basically" complete