Putting Firms into Optimal Tax Theory | Synapse