Clarify several things about natural assertions in the README.