removed nondeterminism from facet order