Closes #10. Added properties that are mentioned in the paper.