nonerroneousness

not defined yet