Title: Logic in practice