Randa - ProofsRanda- Edited