Added content excluded from paper, to be included in the TR.