Going for circuit semantics on report