and another chunk of the taschmann program has just come out: