Do we really still need pencils in 2023?