NF weak partition development: NFStandard.NotWPPLiteralReplay.

theorem NFChoice.Foundation.NFStandard.literalHailperin_valid_not_WPP {S : Fol.Structure LNF} (hH : Fol.allRealizeSentence S ExactLiteralTrial.LiteralHailperinNF) : SemanticCore.Wff.Valid S Compiler.CompactSourceSyntax.synWwpp.neg

theorem NFChoice.Foundation.NFStandard.literalHailperin_proves_not_WPP : ExactLiteralTrial.LiteralHailperinNF.sprovable (Fol.bdNot WPP)

The accepted replay proves the exact lowered WPP sentence from the literal basis.