To say the same thing twice doesn't make it twice as true. For example, we know that B is determined by A (A -> B). We also know that C is determined by B and X (BX -> C).<BR><BR>We don't need to ...