My scheme is based on the algebraic logic . When a cart passes through a path with a permanent combinator, the system receives the indicated sign, if it is in the cart, then this sign is preserved by binding the input and output of the arithmetic combinator, then it is followed by a conjunction with 1. This sign at the cart should always be = 1, otherwise the circuit will not work correctly. 1∧1=1, the gate receives the sign = 1 and closes. The next combinator sends a new one, which is stored in the arithmetic combinator, where there is already such a unit and the sign becomes equal to 2. 2 this is ¬1 (not 1), therefore 1∧¬1=1∧0 = 0, the gate gets 0 and opens, the obstacle disappears.