Only proofs and roadmap missing.