Added definition to isAlive()