Task: Text Categorization
Input (English): This concept disallows the Borda count from being effective, although repeated instances of Nanson's Method can bypass this condition. May's theorem applies this concept to a more restricted scope, and ome variants of this concept replace the montonicity and non-imposition criteria to form a more restrictive version. The Gibbard-Satterthwaite theorem formally extends this concept to voting systems, and it was introduced by its namesake in "A Difficulty in the Concept of Social Welfare," while its namesake also wrote Social Choice and Individual Values. For 10 points, what theorem states that when there are more than three options, a completely fair and consistent election is unattainable.  
Output (English): Social Science