Notes on Relational Theory