nonstipulation
not defined yet