superguarantee
not defined yet