Supreme Court: Life sentences for juveniles violate the Eighth Amendment. Michigan: Okay, we’ll resentence all these prisoners, but we’re taking away the good time credits that they earned while serving their life sentences. Sixth Circuit: Which has the effect of increasing the punishment attached to their convictions, and so violates the Ex Post Facto Clause.