https://jython.pythonprogramminghelp.com/the-itos-lemma-no-one-is-using/