Searching in risp4ml