Assertion examples are formatted as code.