@UnrelatedString Maybe
this will clarify why you need a second
Ṫ
. To put it simply, I think the first
Ṫ
actually operates on the input - right argument - which then gets passed as a right operand to the dyad in the filter (so it does
inputṪ
, which in Jelly happens to coincide with
input
itself for integer input), then the second
Ṫ
gets the tail of the filtered list.