Sorry to break the rhetoric, but "Typical(Quality,Group)" is not countered by "i∉G ∧ P(i)" Update: ...Now waiting for the sniper of the day to find the light a

Sorry to break the rhetoric, but "Typical(Quality,Group)" is not countered by "i∉G ∧ P(i)" Update: ...Now waiting for the sniper of the day to find the light and express itself. Edit: Oh, I see: you probably wanted me to write "i∉G ∧ Q(i)". But actually it works for any property P: the fact is, the i is not part of the group...