hypothesis and types
Tout plus