superoptimal
not defined yet