superinsistence
not defined yet