A history of intraocular pressure and its measurement.