}Dual-rail encoding allows us to detect DATA arrival at
}Inputs or Outputs
}Definition[Strongly/Weakly Indicating Logic]
}A circuit is strongly-indicating iff it waits for all of
its inputs to arrive before it computes and produces valid
outputs, as well as for all of its inputs to become NULL before
it produces NULL outputs