Title: Logic and proof