Appendix E.1 Preconditions common to all the use cases

The preconditions common to all the use cases are as follows: