Simplify assertions