"antifa" is as vague as "anonymous"