The variables a conjunct reads - two iff it is an edge between two of them.
The conjunct to read
the variables it mentions, without repetition, the one it is about first
The variables a conjunct reads - two iff it is an edge between two of them.