On Feb 26, 2019, at 2:22 PM, Fred Gleason <fredg at paravelsystems.com> wrote: > Basically, just provide a link to the Theory file. ...and send patches to Paul for anything that it turns out the Theory file doesn't sufficiently explain (as in "one of our customers doesn't get why XXX").