https://thelogictutorial.blogspot.com/2024/04/introduction-to-discrete-structures.html