minor text edits, adding in R proofs before i work out the final one on
paper