  We give a self-contained proof of the preservation theorem for proper
countable support iterations known as "tools-preservation," "Case A" or "first
preservation theorem" in the literature. We do not assume that the forcings add
reals.
