Title: Logic and certainty