converted to ABNF