normalization is not associative subdistributions act on the normalization magmoid normalization is a distributive law up to idempotent normalization is almost a distributive law Tags: normalization.