what is "val"? Can we give this a real name?