Basic logic of Indri finished