A Additional definitions and assumptions

Open in new window