A possibility theorem on aggregation over multiple interconnected propositions · Study