Some proofs simplified.