refinements and existential statents
template tests