unfold to read. pinch to summarize.