superstrictness
not defined yet