Comment by AaronAPU

I’m playing devil’s advocate here, so go easy on me. But how completely do we know lean is perfectly true in all cases?