changed language on day seven

includes a more formal definition of "countably infinite"