Where in the spec we can read, that the incomplete instance should be used?