The Roles Leon Henkin Played in Mathematics Education