first test needs to be "writePaper and readPaper" are inverses
first test needs to be "writePaper and readPaper" are inverses