Poincare duality