If there is a reason why a construct is defined like it is, or why its notation is defined as it is, this reason is given in this section.