https://9dok.net/document/qo5lgnjj-in-quantum-dot-josephson-junctions.html