https://1library.net/document/yd9r9wez-on-the-necessity-of-irrelevant-variables.html