proof regression