That's not how assertions are supposed to work. They tighten `true` rather than expanding it!