Redundant Logic Explained