, every species contains subspecies in accordance with the principle a of specification, and the logical horizon consists only of smaller horizons (subspecies), but not of points that have nodomain (individuals).