Mathematical constraint ensuring that higher-capability agents receive better outcomes, preventing misrepresentation.