Canonicalization related material and algorithms.