Alternative syntax for specification style testing Aggregates