Second Fundamental Theorem