Spec for promise permutation ordering