APPROVED Sean Bechhofer DL Test: fact2.1