chaining of assertions and refutations