Thread:Lean Infinity/@comment-35019468-20151118191205

Saved me a bunch of work. 