Before revision:  These signals partition the states such that the same message is sent in each partition element and the convex hulls of any two partition elements are either nested or have an empty intersection.
After revision:  These signals partition the states such that the same message is sent in each partition element . The convex hulls of any two partition elements are either nested or have an empty intersection.