#import "paper.typ"
#import paper: theorem, lemma, claim, definition

Hello?

== Circuits

#definition(title: "Pseudo-Category of Raw Circuits")[
The objects of $bold("RawCirc")$ are $NN$.
The morphisms $bold("RawCirc")(m, n)$ are circuits with $m$ inputs and $n$ outputs, defined
inductively, as one of:
  - $mono(0), mono(1), bot : 0 -> 1$,
  - $not : 1 -> 1$,
  - $and : 2 -> 1$,
  - $triangle.filled.small.l: 1 -> 2$,
  - $multimap : 1 -> 0$,
  - $arrows.tb : 2 -> 2$,
  - $f gt.tri g : m -> n$, given $f : m -> k, g : k -> n$,
  - $f times.circle g : m + m' -> n + n'$, given $f : m -> n, g : m' -> n'$.
]
?

== Randomized Circuits

== Efficient Randomized Circuits

== Adversaries

