Fixed typo.
Modified the documentation.
Elide terminal "f" in "if and only iff".