The way it does counterexample shrinking is the most clever part of Hypothesis.

Do you have a reference where it is explained? It's not part of the docs as far as I can tell

	▲	pfdietz a day ago \| parent [-]
		You might try this blog entry (or other blog entries that talk about shrinking): https://hypothesis.works/articles/how-hypothesis-works/