[henkin.gif]