higher bound in a
ether less void like ___