Looks like a semantic operation to me.