Rotation sensor: what it is and what happens when it is faulty