Lessons 6.7–6.8. Two gears mesh only at a common factor, and an expression factors only when the shared factor is pulled from every term. The factory lock wants both.