Better windowing for church graphs.
Punctuation.