Negative for ZFC3784


DPC