Undeniable logic