"She helped Barry Kripke make an advancement in string theory."