Myopic defects in the human eye can be corrected through the use of a