Phillip Schanely

> And yeah, the length thing makes sense as an implementation limitation. I guess doing a union of lengths just has too much overhead? Most of the meaningful decisions in...

> > This is a good point. Thinking about it again, I think the ideal interface would be something where I could give ancillary context managers for wherever you manipulate...

@Zac-HD crosshair is finally on the latest z3! I think we may also need some sort of issue for figuring out what to do with settings; I think crosshair too...

> Instead of more interaction between settings, can we just add those to the example configuration? Yup, I think that's fine, especially as we're getting started.

> [@pschanely](https://github.com/pschanely) you may also want to investigate the `Why.undiscovered` tests, marked mostly in [755486a](https://github.com/HypothesisWorks/hypothesis/commit/755486ab9ea6a5c56962f20474b92201714a489d) - it's a collection of cases where Hypothesis' heuristics find a failing example, but Crosshair...