a few assert types