Incarceration by Abstraction