higher bound in a
ether less void or ___