https://domainvb.blogspot.com/2023/05/domain-relational-calculus-examples.html