adding a proof error question