Up to subsection `The meta argument'.