Assignment 1 - Ellen Hui

Not sure what you mean (probably just a typo). Maybe "which prove a lot of library functions...."  ?