What is a pinion in a jacking system?