a lensman.