Relational Logic – T4 – Giuseppe di Domenico