1) The document describes the author's first day taking his daughter Abbey to her first day of first grade. He notices the school's use of visual cues like name tags to easily identify students.
2) It discusses three lessons about visual management from this experience: make work and status visible, design simple error-proofing techniques, and catch mistakes before defects.
3) The document advocates that workplaces should use visual cues to easily understand processes, identify issues, and prevent errors from occurring.
The document discusses Latent Dirichlet Allocation (LDA), a generative probabilistic model for collections of discrete data such as text corpora. It provides examples of LDA applied to documents and visualizations of the topic distributions. It also explores how changing the alpha parameter, which controls the topic distributions, affects the results. LDA is presented as a way to discover abstract "topics" that occur in a collection of documents.
This document discusses remote work practices at Tiger Hole Lab. It outlines their fully remote work policy and flexible work hours. Communication tools like Slack and Google Meet are used. An agile development approach with daily scrums helps reduce disconnect between remote members. Tasks are managed in Trello. Daily reports keep track of work. Remote work benefits like no commuting but also challenges like lack of in-person communication are addressed.
- The document proposes ProxGen, a unified framework for stochastic proximal gradient descent methods that can handle arbitrary preconditioners and non-convex regularizers.
- ProxGen derives proximal updates for popular optimizers like Adam that incorporate the preconditioner into the proximal mapping, which previous work had not addressed.
- Experiments on sparse neural networks and binary neural networks demonstrate that ProxGen converges faster and achieves better generalization than subgradient-based methods and previous proximal gradient methods.
The document discusses Latent Dirichlet Allocation (LDA), a generative probabilistic model for collections of discrete data such as text corpora. It provides examples of LDA applied to documents and visualizations of the topic distributions. It also explores how changing the alpha parameter, which controls the topic distributions, affects the results. LDA is presented as a way to discover abstract "topics" that occur in a collection of documents.
This document discusses remote work practices at Tiger Hole Lab. It outlines their fully remote work policy and flexible work hours. Communication tools like Slack and Google Meet are used. An agile development approach with daily scrums helps reduce disconnect between remote members. Tasks are managed in Trello. Daily reports keep track of work. Remote work benefits like no commuting but also challenges like lack of in-person communication are addressed.
- The document proposes ProxGen, a unified framework for stochastic proximal gradient descent methods that can handle arbitrary preconditioners and non-convex regularizers.
- ProxGen derives proximal updates for popular optimizers like Adam that incorporate the preconditioner into the proximal mapping, which previous work had not addressed.
- Experiments on sparse neural networks and binary neural networks demonstrate that ProxGen converges faster and achieves better generalization than subgradient-based methods and previous proximal gradient methods.
Teleportation involves transferring the quantum information of an object to another location without physically moving the object through space. Scientists have successfully teleported photons and quantum information between light and matter. While teleporting an entire human is extremely challenging due to the vast number of quantum bits needed to describe a person, scientists continue to improve teleportation techniques and it may one day be possible to teleport larger objects like humans. Teleportation could enable instant travel and has applications in quantum computing and cryptography.
以前に、”スタートアップの経営者・人事向け「あの時、採用面でやっておけば良かったこと(成長フェーズ別)」”というタイトルでスタートアップの採用活動についてまとめました。
前回の記事では、「ああ、こんなことをやっておけば良かった」というNice to Haveをベースに整理したのですが、今回はスタートアップが成長フェーズ別に取り組むべき採用課題、あるいは自分が取り組んできた採用課題について整理してまとめてみました。それでは創業期からフェーズ別に進めていきます。
Teleportation involves transferring the quantum information of an object to another location without physically moving the object through space. Scientists have successfully teleported photons and quantum information between light and matter. While teleporting an entire human is extremely challenging due to the vast number of quantum bits needed to describe a person, scientists continue to improve teleportation techniques and it may one day be possible to teleport larger objects like humans. Teleportation could enable instant travel and has applications in quantum computing and cryptography.
以前に、”スタートアップの経営者・人事向け「あの時、採用面でやっておけば良かったこと(成長フェーズ別)」”というタイトルでスタートアップの採用活動についてまとめました。
前回の記事では、「ああ、こんなことをやっておけば良かった」というNice to Haveをベースに整理したのですが、今回はスタートアップが成長フェーズ別に取り組むべき採用課題、あるいは自分が取り組んできた採用課題について整理してまとめてみました。それでは創業期からフェーズ別に進めていきます。
O documento discute a importância da medição de indicadores para a manutenção lean. Ele explica que a medição é crucial para gerir resultados, comparar desempenho com objetivos e motivar colaboradores. O texto também fornece exemplos de sete indicadores importantes para a manutenção lean, incluindo disponibilidade, eficiência, qualidade, manutenção planejada e nível de serviço de manutenção.
O documento discute três modelos de cadeia de suprimentos - TSC, VMI e CPFR. O modelo CPFR envolve a maior colaboração entre parceiros, com compartilhamento de informações e planejamento conjunto. O documento também analisa fatores que influenciam o sucesso do CPFR e riscos associados, e apresenta casos práticos de empresas que usam esse modelo.
O documento descreve a cadeia de suprimentos da empresa portuguesa Parfois, especializada em bijuteria e acessórios. A Parfois possui fornecedores na China e Índia, produz em fábricas na China e armazena produtos em um centro logístico em Portugal. A empresa utiliza práticas Lean para otimizar os processos de recebimento, armazenamento, separação e expedição para lojas em Portugal, Espanha e outros países.
O documento descreve a cadeia de suprimentos da IKEA, incluindo sua história, estrutura global, práticas sustentáveis e logística reversa. A IKEA projeta, fabrica e distribui mais de 9500 produtos em 315 lojas em todo o mundo, com fornecedores em mais de 50 países. Sua cadeia de suprimentos enxuta e sustentável minimiza desperdícios e tem um impacto ambiental reduzido.
O documento descreve os sistemas Milk Run e Mizusumashi, que são métodos de distribuição de materiais. O Milk Run envolve a coleta de produtos de fornecedores e entrega direta ao consumidor para reduzir custos, enquanto o Mizusumashi usa um "comboio logístico" para fornecer materiais a locais de trabalho de forma eficiente.
Industry 4.0 refers to the fourth industrial revolution driven by digital transformation and new technologies like cyber-physical systems, the Internet of Things, and the Internet of Services. This new transformation will bring both opportunities like new jobs in creativity and problem-solving, as well as challenges around replacing human workers, the large capital investments required, issues of privacy and data security, and ensuring a smooth transition. While Industry 4.0 will revolutionize manufacturing, there are still many challenges that must be addressed to make sure companies can successfully adopt these new technologies.
Lean Six Sigma e Agile são abordagens para melhorar processos e entregar valor ao cliente. A apresentação discute como Lean elimina atividades sem valor através de mapeamento de fluxos e limitação de trabalho em progresso. Six Sigma usa dados para identificar e corrigir problemas nos processos. Agile como Scrum entrega valor incrementalmente através de sprints curtos de planeamento, implementação e revisão.
Este documento apresenta:
1) O conceito de Bordo de Linha e seus objetivos de reduzir desperdícios e otimizar o local de produção.
2) A situação atual da empresa XPTO, onde há problemas como tempo ocioso nas movimentações e baixa produtividade.
3) Uma proposta para implementar Bordo de Linha na seção de injeção da XPTO, com o objetivo de reduzir tempos ociosos, aumentar produtividade e qualidade.
O documento descreve os princípios e ferramentas do Lean. Resume-se em 3 frases:
1) O Lean visa eliminar desperdícios e focar-se no valor para o cliente através da melhoria contínua dos processos e envolvimento dos colaboradores.
2) Princípios como "zero defeitos" e fluxo "pull" são fundamentais para entregar valor ao cliente de forma eficiente.
3) As ferramentas do Lean como 5S, SMED e PDCA apoiam a melhoria dos processos e a resolução de problemas.
This document provides an introduction to the future of universities by examining how four global megatrends identified by McKinsey may impact universities until 2040. The megatrends are: emerging markets and urbanization, greater global connections, accelerating technological change, and responding to an aging world. Emerging markets and urbanization are expected to shift economic scales towards Asia and increase global demand for higher education, benefiting local universities in emerging countries and elite universities elsewhere. Greater connectivity and technology will require universities to offer more flexible, online, and lifelong learning opportunities. An aging population will drive demand for retraining and skills development throughout people's careers.
SATTA MATKA DPBOSS KALYAN MATKA RESULTS KALYAN MATKA MATKA RESULT KALYAN MATKA TIPS SATTA MATKA MATKA COM MATKA PANA JODI TODAY BATTA SATKA MATKA PATTI JODI NUMBER MATKA RESULTS MATKA CHART MATKA JODI SATTA COM INDIA SATTA MATKA MATKA TIPS MATKA WAPKA ALL MATKA RESULT LIVE ONLINE MATKA RESULT KALYAN MATKA RESULT DPBOSS MATKA 143 MAIN MATKA KALYAN MATKA RESULTS KALYAN CHART KALYAN CHART
SATTA MATKA DPBOSS KALYAN MATKA RESULTS KALYAN CHART KALYAN MATKA MATKA RESULT KALYAN MATKA TIPS SATTA MATKA MATKA COM MATKA PANA JODI TODAY BATTA SATKA MATKA PATTI JODI NUMBER MATKA RESULTS MATKA CHART MATKA JODI SATTA COM INDIA SATTA MATKA MATKA TIPS MATKA WAPKA ALL MATKA RESULT LIVE ONLINE MATKA RESULT KALYAN MATKA RESULT DPBOSS MATKA 143 MAIN MATKA KALYAN MATKA RESULTS KALYAN CHART
❽❽❻❼❼❻❻❸❾❻ DPBOSS NET SPBOSS SATTA MATKA RESULT KALYAN MATKA GUESSING FREE KA...essorprof62
DPBOSS NET SPBOSS SATTA MATKA RESULT KALYAN MATKA GUESSING FREE KALYAN FIX JODI ANK LEAK FIX GAME BY DP BOSS MATKA SATTA NUMBER TODAY LUCKY NUMBER FREE TIPS ...
Easy Earnings Through Refer and Earn Apps Without KYC.pptxFx Lotus
Learn how to make extra money with refer and earn apps that don’t require KYC. Find out the advantages, top apps, and strategies to boost your earnings quickly and easily.
L'indice de performance des ports à conteneurs de l'année 2023SPATPortToamasina
Une évaluation comparable de la performance basée sur le temps d'escale des navires
L'objectif de l'ICPP est d'identifier les domaines d'amélioration qui peuvent en fin de compte bénéficier à toutes les parties concernées, des compagnies maritimes aux gouvernements nationaux en passant par les consommateurs. Il est conçu pour servir de point de référence aux principaux acteurs de l'économie mondiale, notamment les autorités et les opérateurs portuaires, les gouvernements nationaux, les organisations supranationales, les agences de développement, les divers intérêts maritimes et d'autres acteurs publics et privés du commerce, de la logistique et des services de la chaîne d'approvisionnement.
Le développement de l'ICPP repose sur le temps total passé par les porte-conteneurs dans les ports, de la manière expliquée dans les sections suivantes du rapport, et comme dans les itérations précédentes de l'ICPP. Cette quatrième itération utilise des données pour l'année civile complète 2023. Elle poursuit le changement introduit l'année dernière en n'incluant que les ports qui ont eu un minimum de 24 escales valides au cours de la période de 12 mois de l'étude. Le nombre de ports inclus dans l'ICPP 2023 est de 405.
Comme dans les éditions précédentes de l'ICPP, la production du classement fait appel à deux approches méthodologiques différentes : une approche administrative, ou technique, une méthodologie pragmatique reflétant les connaissances et le jugement des experts ; et une approche statistique, utilisant l'analyse factorielle (AF), ou plus précisément la factorisation matricielle. L'utilisation de ces deux approches vise à garantir que le classement des performances des ports à conteneurs reflète le plus fidèlement possible les performances réelles des ports, tout en étant statistiquement robuste.
➒➌➎➏➑➐➋➑➐➐ Satta Matka Dpboss Matka Guessing Indian Matka
KALYAN MATKA | MATKA RESULT | KALYAN MATKA TIPS | SATTA MATKA | MATKA.COM | MATKA PANA JODI TODAY | BATTA SATKA | MATKA PATTI JODI NUMBER | MATKA RESULTS | MATKA CHART | MATKA JODI | SATTA COM | FULL RATE GAME | MATKA GAME | MATKA WAPKA | ALL MATKA RESULT LIVE ONLINE | MATKA RESULT | KALYAN MATKA RESULT | DPBOSS MATKA 143 | MAIN MATKA
➒➌➎➏➑➐➋➑➐➐ Satta Matka Dpboss Matka Guessing Indian Matka Satta Matta Matka KALYAN MATKA | MATKA RESULT | KALYAN MATKA TIPS | SATTA MATKA | MATKA.COM | MATKA PANA JODI TODAY | BATTA SATKA | MATKA PATTI JODI NUMBER | MATKA RESULTS | MATKA CHART | MATKA JODI | SATTA COM | FULL RATE GAME | MATKA GAME | MATKA WAPKA | ALL MATKA RESULT LIVE ONLINE | MATKA RESULT | KALYAN MATKA RESULT | DPBOSS MATKA 143
KALYAN CHART SATTA MATKA DPBOSS KALYAN MATKA RESULTS KALYAN MATKA MATKA RESULT KALYAN MATKA TIPS SATTA MATKA MATKA COM MATKA PANA JODI TODAY BATTA SATKA MATKA PATTI JODI NUMBER MATKA RESULTS MATKA CHART MATKA JODI SATTA COM INDIA SATTA MATKA MATKA TIPS MATKA WAPKA ALL MATKA RESULT LIVE ONLINE MATKA RESULT KALYAN MATKA RESULT DPBOSS MATKA 143 MAIN MATKA KALYAN MATKA RESULTS KALYAN CHART
SATTA MATKA DPBOSS KALYAN MATKA RESULTS KALYAN CHART KALYAN MATKA MATKA RESULT KALYAN MATKA TIPS SATTA MATKA MATKA COM MATKA PANA JODI TODAY BATTA SATKA MATKA PATTI JODI NUMBER MATKA RESULTS MATKA CHART MATKA JODI SATTA COM INDIA SATTA MATKA MATKA TIPS MATKA WAPKA ALL MATKA RESULT LIVE ONLINE MATKA RESULT KALYAN MATKA RESULT DPBOSS MATKA 143 MAIN MATKA KALYAN MATKA RESULTS KALYAN CHART
Unlocking WhatsApp Marketing with HubSpot: Integrating Messaging into Your Ma...Niswey
50 million companies worldwide leverage WhatsApp as a key marketing channel. You may have considered adding it to your marketing mix, or probably already driving impressive conversions with WhatsApp.
But wait. What happens when you fully integrate your WhatsApp campaigns with HubSpot?
That's exactly what we explored in this session.
We take a look at everything that you need to know in order to deploy effective WhatsApp marketing strategies, and integrate it with your buyer journey in HubSpot. From technical requirements to innovative campaign strategies, to advanced campaign reporting - we discuss all that and more, to leverage WhatsApp for maximum impact. Check out more details about the event here https://events.hubspot.com/events/details/hubspot-new-delhi-presents-unlocking-whatsapp-marketing-with-hubspot-integrating-messaging-into-your-marketing-strategy/
➒➌➎➏➑➐➋➑➐➐ Satta Matka Dpboss Matka Guessing Indian Matka
KALYAN MATKA | MATKA RESULT | KALYAN MATKA TIPS | SATTA MATKA | MATKA.COM | MATKA PANA JODI TODAY | BATTA SATKA | MATKA PATTI JODI NUMBER | MATKA RESULTS | MATKA CHART | MATKA JODI | SATTA COM | FULL RATE GAME | MATKA GAME | MATKA WAPKA | ALL MATKA RESULT LIVE ONLINE | MATKA RESULT | KALYAN MATKA RESULT | DPBOSS MATKA 143 | MAIN MATKA
➒➌➎➏➑➐➋➑➐➐ Satta Matka Dpboss Matka Guessing Indian Matka KALYAN MATKA | MATKA RESULT | KALYAN MATKA TIPS | SATTA MATKA | MATKA.COM | MATKA PANA JODI TODAY | BATTA SATKA | MATKA PATTI JODI NUMBER | MATKA RESULTS | MATKA CHART | MATKA JODI | SATTA COM | FULL RATE GAME | MATKA GAME | MATKA WAPKA | ALL MATKA RESULT LIVE ONLINE | MATKA RESULT | KALYAN MATKA RESULT | DPBOSS MATKA 143 | MAIN MATKA
Adani Group Requests For Additional Land For Its Dharavi Redevelopment Projec...Adani case
It will bring about growth and development not only in Maharashtra but also in our country as a whole, which will experience prosperity. The project will also give the Adani Group an opportunity to rise above the controversies that have been ongoing since the Adani CBI Investigation.
Adani Group's Active Interest In Increasing Its Presence in the Cement Manufa...Adani case
Time and again, the business group has taken up new business ventures, each of which has allowed it to expand its horizons further and reach new heights. Even amidst the Adani CBI Investigation, the firm has always focused on improving its cement business.
SATTA MATKA DPBOSS KALYAN MATKA RESULTS KALYAN CHART KALYAN MATKA MATKA RESULT KALYAN MATKA TIPS SATTA MATKA MATKA COM MATKA PANA JODI TODAY BATTA SATKA MATKA PATTI JODI NUMBER MATKA RESULTS MATKA CHART MATKA JODI SATTA COM INDIA SATTA MATKA MATKA TIPS MATKA WAPKA ALL MATKA RESULT LIVE ONLINE MATKA RESULT KALYAN MATKA RESULT DPBOSS MATKA 143 MAIN MATKA KALYAN MATKA RESULTS KALYAN CHART
Satta Matka Dpboss Kalyan Matka Results Kalyan Chart
Everything i know about Lean
1. Everything I Know About Lean
I Learned
in First Grade
Robert O. Martichenko
Illustrations by Liz Maute
Foreword by Pascal Dennis
2. 7:30 AM
excerpted from Everything I Know About Lean I Learned in First Grade
First Day of
First Grade
Every day is a good day, but some are better than others. I sense this
will be one of those days—a day like no other.
“Wake up, honey. It’s time to get up for your first day of school,” I
say to my daughter Abbey. As long as I live, I’ll never forget the
look on Abbey’s face as she rubs her eyes and smiles up at me
knowing that today is the big day—her first day of first grade. Not
only that, but her dad has been granted permission to go with her
to school for the whole day.
Over breakfast, Abbey’s big sister, Emilee, and her mom, Corinne,
coach her on the ins and outs of going to school full time. Neither
Abbey nor I really listen; we smile at each other knowing that
together we can get through anything. Heck, how hard can it be to
go to first grade? Sometimes not knowing all the rules can be an
adventure. Sometimes you just have to go with the flow and see
what the day brings.
For me personally, today is a day to stop thinking about work and
to spend some time with my daughter. As I watch my two daughters
at the breakfast table, I can’t help but think about the last ten
years. Over a decade ago, my wife and I made the momentous
decision to move from Canada to the United States. I was given the
opportunity to participate in a start-up of a green field Toyota Motor
Manufacturing facility. As a supply chain professional, this
opportunity was too good to be true. The Toyota experience is
where my lean journey began and it influenced my professional
and personal lives in many ways. Since then, I have not looked back
as my interest in lean continues to grow.
Copyright 2008 Robert Martichenko 1 lean.org
3. Everything I Know About Lean …
excerpted from Everything I Know About Lean I Learned in First Grade
In fact, I’ve been accused
of taking lean principles a
little too seriously and a
little too far into my
household. “Don’t you
ever stop thinking about
lean?” are words that I
hear many times from
family members. Today
is not about lean, today is
a day to clear my mind of
work and to spend time
with Abbey.
Even though I am driving
to Abbey’s school, her
mother and I want her to
experience the school bus
ride with her sister. I promise to follow the bus and to meet them
both at the front door of the school. Kneeling down in front of
Abbey, Corinne pins a cardboard bumblebee on her shirt that says
“First Day of First Grade.”
“Ah!” I say to Corinne, “I like the sign. Are those new? I don’t
remember Emilee having one when she started first grade.”
“The school started using them last year,” answers Corinne. “They
make it easier for everyone in the school—students, teachers, and
support staff—to tell which kids are first graders and may need
extra help.” She pulls something else from a bag and hands it to
me. “This is for you to wear.”
It is a strap to go around my neck with a card that says “Parent
Visitor” on it. “What’s this?” I ask.
“You need to wear that at the school,” Corinne answers. “Same idea
as Abbey’s bumblebee—this is used to identify visiting parents.”
Copyright 2008 Robert Martichenko 2 lean.org
4. 7:30 AM
excerpted from Everything I Know About Lean I Learned in First Grade
I am about to comment on the excellent use of visual management
when I hear my daughters in the front hall. “C’mon, Dad, we’ll be
late!” yells Abbey, who is already halfway out the door.
Her mother and I follow Abbey out the door, and I turn to Corinne
to ask what time the bus is scheduled to arrive, hoping I don’t
sound like the out-of-touch father I sometimes resemble.
“Eight twenty-two,” she responds. “It’s posted in the local news-
paper, remember? I showed it to you last night.” She punctuates her
remark with an elbow to my ribs.
“Can they really be that precise?” I ask.
“I think they’ve studied how much time it takes based on the
number of kids on the route,” says Corinne. “That is tight timing,
but I guess they have to plan it that way considering all the stops
and kids they have to pick up.”
We reach the bus stop along with other parents and neighborhood
kids. There are several groups of students, some going to the high
school, others going to
the middle school, and
then there are the
children heading to
Williams Elementary.
Thinking out loud I
say, “I hope Abbey
and Emilee get on the
right bus.”
A bright yellow school
bus arrives and Abbey,
excited as she is, heads
for the bus door. The
driver quickly notes
Copyright 2008 Robert Martichenko 3 lean.org
5. Everything I Know About Lean …
excerpted from Everything I Know About Lean I Learned in First Grade
her bumblebee identification card and says, “Your bus is on its way,
young lady. This bus is headed to Daniel County High School.”
Abbey runs back to me, students file onto the bus, and it moves
on. Soon the right bus appears and the students for Williams
Elementary School get on. It is reassuring to see that the identifi-
cation plan prevented Abbey from getting on the wrong bus. While
cameras click, our precious cargo boards the bus, and so begins
Abbey’s first full day of school.
Three Lessons on
Visual Management
• Make your work and the status of that work
as visual as possible
• Design simple and inexpensive techniques to
error-proof processes
• Catch mistakes and errors before they turn
into customer defects
Copyright 2008 Robert Martichenko 4 lean.org
6. 7:30 AM
excerpted from Everything I Know About Lean I Learned in First Grade
Orlo the Wise Old Owl
on Visual Management
If a visitor were to walk into your workplace—be it an office or a
factory floor—could they identify the steps in your work process
just by looking around? If your boss came by, could he or she
tell the status of the things you’re working on just by looking?
The ability to tell at a glance what the work is and the status
of each work step is called “visual management.” Making work
visible is the first step toward being able to understand and
improve it.
That’s why a lean enterprise focuses on making the work place
a visual environment. You need to design systems and processes
filled with visual cues to let you know what the plan is, how much
work is “in process” at any given moment, and what the status
of that work is.
Make All Work Visible
Expose Problems
VVVVVVVVVV
VVVVVVVVVVVV
VVVVVVVVVVVVVV
VVVVVVVVVVVVVVV
VVVVVVVVVVVVVVVV
VVVVVVVVVVVVVVVV
VVVVVVVVVVVVVVV
VVVVVVVVVVVVVV
VVVVVVVVVVVV
VVVVVVVVVV
Copyright 2008 Robert Martichenko 5 lean.org
7. Everything I Know About Lean …
excerpted from Everything I Know About Lean I Learned in First Grade
Visuals allow you to see and instantly know when you have a
problem or abnormal condition. Visual management will help
you to error-proof your processes by visually showing when
something is not right. This is known by the Japanese term
poka yoke (pronounced POH-ka YO-keh). Ideally, poka yoke
is a simple and inexpensive system or visual cue that will high-
light errors before or as they happen.
For example, in Abbey’s case, a simple card provided the bus
driver with a visual cue that she was about to get on the wrong
bus. Because of the poka yoke, that error was prevented and
Abbey got on the right bus.
Creating a situation where errors are prevented (or immediately
caught before being passed on) is known in the lean environment
as quality at the source. This is in sharp contrast to old-fashioned
“quality control” or “quality assurance” measures that focus on
catching errors after they are produced and passed on to the
next step in the process.
Quality at the source teaches us that there is a big difference
between a mistake and a defect. Mistakes are just mistakes. A
defect is when a mistake is handed on to the next process or to
the end customer. We know that if human beings are involved,
mistakes will certainly happen. However, if we use visual cues to
help error-proof our processes, we can detect potential mistakes
before they occur and prevent actual mistakes from being
passed on to the customer.
Copyright 2008 Robert Martichenko 6 lean.org