J. MacMahon: sec. 17