Though Michelman was not entirely clear on this point, if his formula is to make sense, "net efficiency gains" must means gains exclusive of the "demoralization costs" discussed later.