henkin & tarski addison