User blog:Googolplix/Comparing lIAN with BEAF

I(a,b,) = {a,b,}

I(a,b,c,) = {a,b,c+1,}

I(a,b,1,2,) = {a,a,b+1,}

I(a,b,2,2,) > {a,b,1,2,}

I(a,b,c,2,) > {a,b,c-1,2,}

I(a,b,1,3,) ≈ {a,a,b,3,}

I(a,b,c,3,) ≈ {a,b,c,3,}

I(a,b,1,c,) < {a,b,1,c,}

I(a,b,c,d,) ≈ {a,b,1,d,}

I(a,b,1,1,2,) ≈ {a,a,1,b,}

I(a,b,c,d,e,) ≈ {a,b,c,d,e,}

I(a,b,c,d,e,f,) ≈ {a,b,c,d,e,f,}

I(a,b...y,z,) ≈ {a,b...y,z,}