cerowrt-3.10.36-4

note that I turned on full negative proofs in this release.

I will probably regret it.