解放のタイミングが保証されているのではなく
存在の保証が切れるタイミングが規定されているわけだ