Text this: Relational Logic.