11/14 proofs added, some minor changes