Generally, the analytic a priori according to Kant is taken to be empty, tautological, unremarkable. The stock example is 'all bachelors are unmarried' or 'all triangles have three sides,' in other words, truisms. But is it not true that analytic a priori propositions have a far more prominent role in the system of human knowledge? When we say 'water will boil at 100 degrees,' are we not making an analytic claim (the concept water containing within it the necessary characteristic of boiling when heated to 100 degrees)? Or when a biologist makes use of classes such as genus and species (man is an animal), is this not analytic a priori as a useful proposition?