ProbabilityAlive done