Fills introduction text in A.1.