return assertion failures