Added code to verify tests 1, 2, and 4. TODO: Ask about test 3