Add contract enforcing expected values don't get returned.