I was expecting a use of the lean programming language, but nonetheless this work is very interesting.