That is, X must dominate Y but is properly dominated by Y in any solution of ϕ, so ϕ is unsatisfiable.
if an undirected constraint graph has a simple hypernormal cycle C with only one dominance edge, C is also a directed cycle, so the constraint is unsatisfiable.