Definition:Direct Reduction to First Figure