Use stricter assertions