(a.) Previously mentioned; before-mentioned.