Proofs-Jan 2011