Final Version

Add notation