 Reichenbach gives no axiomatization and no rules of inference (although passages suggest he intended an analog of modus ponens to hold for his two new conditional functions) and of course he therefore provides neither soundness nor completeness theorems. Nor does he characterize the class of functions that may be defined by composition of his propositional functions. He does derive various properties of the new connectives from their definitions. 