Previously Used Names


Lower bound.