The application to be given to a trivial name which, when first published, was both applied to a particular species or to particular specimens and also stated to be a substitute name for some previously published trivial name or was clearly implied to be