use built-in asserts in our asserts