Title: Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971