preliminary exercises in redundancy from the Theoretical Practice of Perversity series