Fixed version nums
Added Preconditions
Add BloomFilters