Logic Aggregation