Technical report 125

Introduction