A purely extensional correctness condition is compatible with an infinite range of deviant applicati...