Difference between a ballpoint pen and the English Channel: size