proofsKDP Model