cimny'efku lujvo

x₁ is infinitely recursively related to x₂ by applying infinite levels of recursion to predicate relation x₃ (ka with two ce'u)