tool from FOLDOC