cornea: format