On the other hand, this axiom still allows implementations of create() to yield a previously created instance that has become inaccessible to the program.
З іншого боку, ця аксіома досі дозволяє реалізації операції Create() отримати раніше створений екземпляр, який став недоступним для програми.