If twitching the widget implies the flipflops are tumbled, and if the flipflops are not tumbled or the spike is dendled, then twitching the widget implies the spike is dendled. -- Keith Hanna