An apportionment paradox exists when the rules for apportionment in a political system produce results which are unexpected or seem to violate common sense. To apportion is to divide into parts according to some rule, the rule typically being one of proportion. Certain quantities, like milk, can be divided in any proportion whatsoever; others, such as horses, cannot—only whole numbers will do. In the latter case, there is an inherent tension between the desire to obey the rule of proportion as closely as possible and the constraint restricting the size of each portion to discrete values. This results, at times, in unintuitive observations, or paradoxes. Several paradoxes related to apportionment, also called fair division, have been identified. In some cases, simple post facto adjustments, if allowed, to an apportionment methodology can resolve observed paradoxes. However, as shown by examples relating to the United States House of Representatives, and subsequently proven by the Balinski–Young theorem, mathematics alone cannot always provide a single, fair resolution to the apportionment of remaining fractions into discrete equal whole-number parts, while complying fully with all the competing fairness elements. An example of the apportionment paradox known as "the Alabama paradox" was discovered in the context of United States congressional apportionment in 1880, when census calculations found that if the total number of seats in the House of Representatives were hypothetically increased, this would decrease Alabama's seats from 8 to 7. An actual impact was observed in 1900, when Virginia lost a seat to Maine, even though Virginia's population was growing more rapidly: this is an example of the population paradox. In 1907, when Oklahoma became a state, New York lost a seat to Maine, thus the name "the new state paradox". The method for apportionment used during this period, originally put forth by Alexander Hamilton, but vetoed by George Washington and not adopted until 1852, was as follows: First, the fair share of each state is computed, i.