unstrictness
not defined yet