Add Gabriel Gonzales' lens/state example.