A Tribute to Phil Mann from the Texas Federal Tax Institute