Step Hen Main Link, argument is z
S sum(z)
t Trim the right argument from sum(z)
e Does this contain the right argument?
p Cartesian product with the right argument
H Halve each value
e Does this contain the right argument?
n Is the unequal to the right argument?