Added: spec/impl for Value_Already_Created