nonstrictness

not defined yet