[bananaflag]

Exactly, yes!

And the conjecture was for a specific class of processes.

And Fable found an example of one concrete* process in that class and three concrete inputs (two were enough of course) giving the same output.

*Concrete here means given by a finite string of characters