add an unbounded ValueOf