zlacker

Also, most docs are from 2012. Who knows what happened since then. There is a reason, they have an army of mathematicians at hand.

I look forward to the day when they walk away from their jobs.