In 2010, jones committed an armed robbery. In 2015, the kentucky legislature enacted a law increasing the punishment for armed robbery from 15 to 20 years in prison. Six months later, jones was captured, tried, convicted, and sentenced to 20 years in prison. Sentencing jones to 20 years violates the: