There's a very slight difference-- version1 <= version2 for nuking, version1 == version2 for inserting.

I think a higher order function is not worth it here, but they could be combined into a function with a flag for allowing lte instead of eq. I think I am leaning towards doing that.