added Logiv chapter proofs