need a more conservative assertion check