Trace Logic