-- Completion to Involution -- Structure Analysis of Polynomial Modules -- Involution