af C . Lambek.