https://maths.roussie.net/2020/06/30/logique-shadok/