README: assert/refute examples.