@Holding uses sets of expressions now.