`contains` is named the wrong way around
l1 `contains` l2
confusing expresses that l2
contains l1
. Either the order of arguments should be changed, or the notation should be changed to e.g. contained
.
l1 `contains` l2
confusing expresses that l2
contains l1
. Either the order of arguments should be changed, or the notation should be changed to e.g. contained
.