What happens to existing life sentences under LEV? — LessWrong