 
 			switch res.match() {
 				// Success
-				case .MatchResult(.Some(true), let expect, _, _, let labels, let stamp, _, let abort):
+				case .MatchResult(.Some(true), let expect, _, _, let labels, let stamp, _, let abort, let quantifier):
 					let state = State(name: st.name
 									, maxSuccessTests: st.maxSuccessTests
 									, maxDiscardedTests: st.maxDiscardedTests

					, numSuccessShrinks: numSuccessShrinks
					, numTryShrinks: numTryShrinks
					, numTotTryShrinks: numTotTryShrinks
					, shouldAbort: st.shouldAbort)
	return reportMinimumCaseFound(state, lastResult)
}


									, numSuccessShrinks: st.numSuccessShrinks
									, numTryShrinks: st.numTryShrinks
									, numTotTryShrinks: st.numTotTryShrinks
									, shouldAbort: abort
									, quantifier: quantifier)
					return .Right(Box(state))
				// Fail
				case .MatchResult(.Some(false), let expect, _, _, _, _, _, let abort, let quantifier):
					if quantifier == .Existential {
						print("")
					} else if !expect {
						print("+++ OK, failed as expected. ")
					} else {
						print("*** Failed! ")
					}

					let state = State(name: st.name
									, maxSuccessTests: st.maxSuccessTests
