Proof after proof after prove, is not enough?