Comments by Aaron Henkin