two kinds of truth