Is this clause necessary?