Title: Logic and Relational Theory