https://gatepenega.rafaelrvalcarcel.com/journal-on-data-semantics-vii-book-38931lz.php