A statement that seems to be contradictory but proves to be true in some sense is a(n)