Previously mentioned; before-mentioned.