unstrictly
not defined yet