Add short explanation of bloom filters
Add subsection about disjunctive sets