higher bound in a
ether less void ___