experiments with reified statements