If he’s not in Gen Pop he’s not actually serving any time