adds discussion of constraints, etc.