Added proof of cuntionality and included some changes to the README.md