https://5dok.org/document/zlgjg2og-lean-equals-green.html