CPS theorem (possibly)