higher bound us here
define re definitions
___