Assignment 3: Ari and Philip (Team 10)

Note: our language requires a case-sensitive file system. If it doesn't work on your machine, use knuth.
Are these non-ascii quotes? --style