Wrote simple lettuce tests for pdf textbooks