aggregates for explicit FLP check