Posterior Analytics 99 b25-100 a 14.