bad_assert.ipynb