Find!
x1=t1 retries x2=t2 by means x3=t3 for the x4=k3th time.
See also: tocke'u (attempt of). This lujvo prepends krefu and drops krefu1.