20120325 session proofs

20120325 session proofs

selects