1210 

  1210 

  1211 # ~~~~~~ mistake

  1211 # ~~~~~~ mistake

  1212 mistake = element mistake { mistake.attributes, mistake.content }

  1212 mistake = element mistake { mistake.attributes, mistake.content }

  1213 

  1213 

  1214 mistake.attributes =

  1214 mistake.attributes =

  1216 mistake.is.attribute = attribute is { text }

  1216 mistake.is.attribute = attribute is { text }

  1217 

  1217 

  1218 mistake.content = inlines

  1218 mistake.content = inlines