A fast & memory-efficient data structure that cat tell if it saw a string before