Working on truth-trees' files