Every line ppand writes is traceable to something it actually read.