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 i

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