Add section on @tarruda's work, minor rewordings