superidealness
not defined yet