Add background section
Add proof of soundness of RI
Add presentation