nonrefutation

not defined yet