This document presents two theoretical models of determinants of informality and tests their implications using survey data from over 50,000 small firms in Brazil. The first model finds that informal firms face higher capital costs and size limitations, resulting in smaller size and lower capital-labor ratios compared to formal firms. The second model highlights how value-added taxes can transmit informality between firms in a supply chain. Empirical analysis supports the models' implications and finds measures of supplier and purchaser formality are correlated with a firm's own formality, especially in sectors subject to value-added tax credits.