Add lens laws to tutorial