Logics: collision-based
Branching signal
by impurity
Branching a signal by
another signal
U-turn