Minor edits, initial draft section on Assertions.