simplify assertions to not be completely redundant.