A simple and cheap derivation from WaltzingMouse.