Doxastic information partitions, and an anti-no-trade theorem