less aggressive subsume, closes #19