anyone know why the 2nd expression isn't the train-ified version of the 1st expression?
```
(≠1 2 3 3 2 4) / 1 2 3 3 2 4
1 2 3 4
(≠/⊢) 1 2 3 3 2 4
0
```
```
(≠1 2 3 3 2 4) / 1 2 3 3 2 4
1 2 3 4
(≠/⊢) 1 2 3 3 2 4
0
```