(∑_(a∈H))(p((Subscript[y, poll]^e)\[VerticalSeparator](Subscript[x, a]))+p((Subscript[y, sense]^e)\[VerticalSeparator](Subscript[x, dest])))=1