Almost rewrote the original text of the Coral Language Specification to the OOXML format