“…Conversely, if (X, r) is a non-degenerate involutive solution and · the binary operation given by x · y := λ −1 x (y) for all x, y ∈ X, then (X, ·) is a non-degenerate cycle set. The existence of this bijective correspondence allows us to move the study of involutive non-degenerate solutions to non-degenerate cycle sets, as already made in [2,18,5,8,4,6,3,23,25,19].…”