Step 12. Eliminating duplication by defining default values
Step 13. Adding verification for requirement R4