It doesn’t matter since the republicans will not enforce it anyway