added a disjunction to the blog example
mention test suite examples in README