Introduction updated, still not complete.