unconfutability

not defined yet