Correct semantics for 'versionlessness'