+ (t (condition)
+ (when (and test-condition
+ (not (typep condition test-condition)))
+ (add-failure res test
+ (make-instance 'assertion-failed
+ :format-control
+ "Assert condition ~A, but condition ~A signaled"
+ :format-arguments
+ (list test-condition condition)))))