experiments and models to get at generic propositions