unsuperfluous

not defined yet