nonassumption

not defined yet