ADD: description of binary relation creation and revised chapter 5