ensemble/def
