more notes on using assert