Use-mention distinction