higher bound us here
define re ___