Hello. In this code

```
{a,b,c}::Indices(values={1,2,3,4,5,6,7,8}).
f_{a b c}::AntiSymmetric.
ex:= 2 i f_{a b c} s_{c};
ru1:=f_{1 2 3}=1, f_{3 4 5}=1/2, f_{4 5 8}= 1/2 \sqrt(3);
evaluate(ex,ru1);
```

rule `f_{3 4 5}= f_{4 5 3}`

not used (is true `[]_{45}=i \sqrt(3) s_{8} + i s_{3}`

).

How to get around it?

Thank you.