P

Initializing...

Theorem 4 — under constraint uncertainty, 𝒫_K can be strictly worse than 𝒫 for every K < |𝒴| · Prove2Me