CST 96.6.9 Any idea of why the size of the result of translating (Lamba' x1...xn. P is linear in n ? Give a convincing argument that this is true ... Thanks Phebe