TODO: explain why the FMD-index works