Added terminology, initial abstract.