discussion of duality
typos and compilation fixes