code to verify assertions