checkpoint
lots of unfolding
unfold cxform