Thanks for the write up - explains a lot (including what hypothesis is).

I think there's a typo in the last code box? It looks like you repeated "from hypothesis_auto import"? (that, or I understand even less python that I thought!)