LifeWithoutDeath implementation and test