Text this: Richard H. Backus.