Update lab4.org

Add use case for Requirement 1