Added alter≈alter'.