irrefutableness
not defined yet