Postulates and data. (J. Smith, 1852)