 	quickCheckWithResult(stdArgs(name), p: prop)
 }
 
-/// MARK: Implementation Details
+/// MARK: - Implementation Details
 
 internal enum Result {
 	case Success(numTests: Int

	)
}

internal class Box<T> {
	let value : T
	internal init(_ x : T) { self.value = x }
}

internal enum Either<L, R> {
	case Left(Box<L>)
	case Right(Box<R>)
}

internal struct Arguments {

									, numTryShrinks: st.numTryShrinks
									, numTotTryShrinks: st.numTotTryShrinks
									, shouldAbort: abort)
			return .Right(nstate)
			// Discard
		case .MatchResult(.None, let expect, _, _, let labels, _, _, let abort):
			let nstate = CheckerState(name: st.name
