1. Prove that a system that meets the definition of generalized noninterference security also meets the definition of deducible security.
2. Suppose composite machine catdog (see Section 8.4.1) emits the same value from the left and the right. Show that it has received no inputs from the left.