Fundamental theorems of algebraic ornamentation recovered.