Verification of Ensembles