simplified asserters