actually the BNFs are more synopsises than screens
mention AssertionException