A short lecture on logical consequence