Assumptions

The following knowledge is assumed:

The following knowledge is not required: