File:Lag switcher proof 1-0