A Omitted details from Section 3.1