distinguis assertion failures