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 and the convex hulls of any two partition elements are such that either one contains the other or they have an empty intersection.