(M, 17 pages, T, 1 page).