typesets unfold