@dpsanders : ValidatedNumerics.jl
@HarlanH : VennEuler.jl