Added marginalia for documentation; some minor change to Introduction.