Assumptions

It is assumed that: