Tools for the Dimensional Step LP

Consequence