every and exists for balanced trees and osets