Как формулируется правило буравчика

Правило буравчика формулируется следующим образом: "Буравчик бурит, а не молоток."