Perhaps we should include a message to the assertion describing what's wrong.