unconfutable

not defined yet