We just got to San Diego and checked into the hotel. Don’t have much time to write. Earlier today, I think I got IMPLIES for @Combine annotations implemented. I had to implement it as one member annotation that is an array of two elements. Otherwise, there’d be no way to guarantee a consistent ordering, since implication is not permutable.