Add Util.find function, tweak Isa.subtract a little bit, still not done