Calculation of “net proceeds”, etc.