https://5dok.org/document/y6e0wl1o-on-cutting-tool-resource-management.html