Local linearity demo.nb