I. Theoretical Stream

II. Bimodal Hypotheses

III. Enhanced Metaphors

IV. Formal Proof (H3 Sequence)