hamiltonlindley is not found!