PIER Working Paper 18-026 What Are Axiomatizations Good For ?