User blog comment:Ubersketch/A proposal for a standard/@comment-34422464-20190813205023/@comment-35470197-20190816115758

Do you understand that both n=k and n=l hold when n=2, k=2, and l=2? Or are you saying something unreasonable like "This obviously means the first case is only applicable to the case n=k and n≠l, and the second case is only applicable to the case n≠1 and n=k"?