Hello! I am wondering what the name for a type of pencil is that has to be refilled with 0.5mm lead sticks, similar to a ballpoint pen. I have seen them referred to as mechanical pencils in online shops, but I have also heard them called other names such as push point pencil, push point, clutch pencil, and self-filling pencil. What is the most correct term for this type of pencil and what do you call it in your country? Thank you!