Added equivalence example
Updated Readme with example
Merge branch 'development'