Gates

[battery payload]

• Battery is the computation arm of the gate. It is called $.
• Payload is the “sample” or argument

The computation is done on the sample.

|=( sample_with_type computation) OR [% [Sample Context]]