Missing requires and tidy hypothetical structure