Complains of error in proof set