eval bound