Verifying failure