can be expressed as follows:
For