2 ms·A working Lean proof doesn't care what the incentives are.by aurareturn 1mo agoA working Lean proof doesn't care what the incentives are.