1. The principle of Bivalence, concerning statements of the object-language, is easily statable in a theory of truth and it may or may not be a theorem of the theory.