public void ChangeNumberOfEmployees(int delta) { Precondition.Requires(NumberOfEmployees + delta >= 0); NumberOfEmployees += delta; }