Descriptive complexity for distributed computing with circuits

Re-assign community