@DavidGoldwasser Why remove this?