simni'i lujvo

x1 and x2 entail each other.