2.4.6. The Reduced Stack Method

TODO