Use unsafeCoerce instead of cast
Use cdots in enumeration instead of ldots
Fixed wording