Bump lens, random upper version bounds