Second Theorem, restructured