Q1: In class, we showed that functional dependencies are transitive. That is, if X Y and Y2, then x 2. Assume a new proposed rule: If X Y and 2 Y, then X Z. Prove that this rule is incorrect