https://jensewernicke.com/2012/03/30/zirkelschlusse/