superarbitrary
not defined yet