ARGH remove RESULT_PURE_SORTED that was throwing us off by having indistinguishable VARIANT