Why is a life sentence not life?