A System of Legal Logic: Using Aristotle, Ayn Rand, and Analytical Philosop