"edits to section 4, corrected t(a,b)