Those are great! There’s even a new one out, called kuru toga dive. It rotates the tip the same way as this version but also keeps the lead a the same length by mechanically pushing it forward ever so slightly every time the pen is pushed onto the paper. I was gifted one and really like it - they cost a fortune though