Title: Logic of Ariz