finished ForSyDe report, advanced on Coquet circuit semantics