A Additional definitions and assumptions