Ensemble Specifications