Title: Logic and existence