Clausal: Normalization OK