II: Homological Theory -- Involution III: Differential Theory -- The Size of the Formal