converted math in sec. 6.4