-Improved Countable naming
-Added proof/exercise 9.1