History neglects nearly all these particulars, and cannot do otherwise; the infinity would overwhelm it. Nevertheless, these details, which are wrongly called trivial,--there are no trivial facts in humanity, nor little leaves in vegetation,--are useful.