We could crosspost this to r.b.t. and r.b.r.