  We give a small functorial algebraic model for the 2-stage Postnikov section
of the K-theory spectrum of a Waldhausen category and use our presentation to
describe the multiplicative structure with respect to biexact functors.
