test these assertions