Expand-Then-Reduce

• 1.5.3 expand then reduce the proposition Aug 02, 2026