Symbology Theorem