Witnesses that A can both produce and await a negative (i.e. Need) signal.
Witnesses that A can both produce and await a positive (i.e. Done) signal.