Title: Logic and faith