1289 A , B . Ekeland.