Applying Circular Reasoning to Linear Transactions: Substance over Form Theory in United States and United Kingdom Tax Law Review