[looofooo0]

Nice, really great work. How did you get into lean?

Few style Remarks: I personally would not call them Prof. Or Dr. In formal English that would be the latter. But the name of them stands for itself.