3 If (i, j) ∈ S and (k, l) ∈ S with i <k, then either i <j <k <l or i <k <l <j. This condition rules out knots and pseudoknots. Together with condition 1 it implies that S is a circular matching [32,33].