A claim of proper subset that holds only within specific, oracle-free computational models does not ...