Add examples from spec section 13.
Add examples from spec section 15.
Add examples from spec section 16.