rewrite rules: normalisation examples