https://tic4esohanna.blogspot.com/2024/05/mastering-domain-relational-calculus.html