stable version, probably semantically false