More intuitive assertion