Collaborations between Charles Gross and John Witherspoon