designing
bnf defined and walked