Title: Logic explores the universe