## lamp trimmers ##

These would have trimmed the wicks of the lamps.