Although one of those does say 4 digits and our current lower bound is 6?