add some assertions and comments to examples