A Normal Form Redundancy in for Precisely Characterizing